Перевод: с английского на все языки

со всех языков на английский

alternating logic

См. также в других словарях:

  • Category:Logic in computer science — Logic in computer science is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains: Those investigations into logic that are guided by applications in computer… …   Wikipedia

  • Hegel’s logic and philosophy of mind — Willem deVries LOGIC AND MIND IN HEGEL’S PHILOSOPHY Hegel is above all a systematic philosopher. Awe inspiring in its scope, his philosophy left no subject untouched. Logic provides the central, unifying framework as well as the general… …   History of philosophy

  • Diode–transistor logic — DTL redirects here. For other uses, see DTL (disambiguation). Diode–transistor logic (DTL) is a class of digital circuits that is the direct ancestor of transistor–transistor logic. It is called so because the logic gating function (e.g., AND) is …   Wikipedia

  • Common knowledge (logic) — For common knowledge in general, see Common knowledge. Common knowledge is a special kind of knowledge for a group of agents. There is common knowledge of p in a group of agents G when all the agents in G know p, they all know that they know p,… …   Wikipedia

  • Computation tree logic — Computation tree logic (CTL) is a branching time logic, meaning that its model of time is a tree like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is… …   Wikipedia

  • Computational tree logic — Computation tree logic (CTL) is a branching time logic, meaning that its model of time is a tree like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is… …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

  • Western architecture — Introduction       history of Western architecture from prehistoric Mediterranean cultures to the present.       The history of Western architecture is marked by a series of new solutions to structural problems. During the period from the… …   Universalium

  • Memristor — Type Passive Working principle Memristance Invented Leon Chua (1971) First production HP Labs (2008) Electronic symbol …   Wikipedia

  • List of Tesla patents — Below is a list of Tesla patents. Dr. Nikola Tesla was an inventor who obtained around 300 patents [Snezana Sarbo, [http://www.tesla symp06.org/papers/Tesla Symp06 Sarboh.pdfNikola Tesla s Patents] , Sixth International Symposium Nikola Tesla,… …   Wikipedia

  • Romanian philosophy — is a name covering either a) the philosophy done in Romania or by Romanians, or b) an ethnic philosophy, which expresses at a high level the fundamental features of the Romanian spirituality, or which elevates to a philosophical level the… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»